/*-----------------------------------------------------------------------------
| Copyright (c) Jupyter Development Team, Spyder Project Contributors.
| Distributed under the terms of the Modified BSD License.
|----------------------------------------------------------------------------*/

/* Temporary hack to fix issue #319 */

:root {
  --jp-mirror-editor-string-color: #ff7070;
}

